Avant-propos.
نویسنده
چکیده
Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivariate analysis, as Coq does not o ersuch a library. We then discuss the proof of Kantorovitch's theorem based on this representation.
منابع مشابه
A Complete Bibliography of Publications in Isis, 1910–1919
Aborigenes [78]. according [155]. Action [39, 72]. actuelle [87]. actuelles [107, 84]. Acvaghosa [8]. Aegypten [30]. Aether [126]. Agnes [42]. al [11]. Albert [45]. alcune [51]. Algerien [30]. alla [51]. allo [28]. Alphonse [15]. Altertum [94]. americaine [75]. Amici [10]. among [78]. analyse [96]. analytique [101, 49, 81, 17]. Ananda [153, 154]. Anaxagora [55]. ancient [55, 56]. année [16]. An...
متن کاملDMN (Decision Model and Notation) : De la Modélisation à l'Automatisation des Décisions
RESUME. Cet article s’intéresse à la nouvelle notation DMN (Decision Model and Notation) qui est utilisée pour modéliser de façon standard les prises de décisions. Après une présentation du contexte, les principaux éléments de DMN sont montrés, puis utilisés dans une étude de cas. Les trois modèles CIM, PIM et PSM de la MDA (Model Driven Architecture) sont rappelés, avant d’être appliqués à DMN...
متن کاملInstabilité post-traumatique du nerf ulnaire au coude: à propos de cinq cas et revue de la littérature
Résumé Le nerf ulnaire au coude a une situation anatomique très particulière, qui explique son importante vulnérabilité. Les auteurs rapportent cinq cas, d'instabilité post-traumatique du nerf ulnaire avec luxation complète du nerf en avant de l'épitrochlée. A la lumière de notre expérience et d'une revue de la littérature, les aspects pathogéniques, diagnostiques et thérapeutiques de cette pat...
متن کاملEnorme ostéosarcome tibiale: à propos d'un cas historique
L'ostéosarcome est la plus fréquente des tumeurs malignes primitives de l'os avec une incidence annuelle de 4,8 par million d'habitants de moins de 20 ans. Soixante pour cent d'entre eux surviennent chez les enfants âgés de 10 à 20 ans. Le traitement chirurgical radical était le traitement de l'ostéosarcome avant les années 1970. Il n'entraînait que 10 à 15 % de survie à cinq ans. Depuis la déc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Progress in neuro-psychopharmacology & biological psychiatry
دوره 28 5 شماره
صفحات -
تاریخ انتشار 2004